IVK - mutex lock @ [22259+31+/linux-3.19-rc1/drivers/md/bcache/super.c]

Instance Verification Kit (IVK)

mutex lock @ [22259+31+/linux-3.19-rc1/drivers/md/bcache/super.c]

Instance Signature: bch_register_lock

The Matching Pair Graph:

Function Name	Control Flow Graph (CFG)	Events Flow Graph (EFG)	Source Correspondence
cached_dev_detach_finish			[21972+24+/linux-3.19-rc1/drivers/md/bcache/super.c]